home *** CD-ROM | disk | FTP | other *** search
/ Skunkware 5 / Skunkware 5.iso / tls / tls029.1.Z / tls029.1 / systems / 242 < prev    next >
Encoding:
Text File  |  1994-04-19  |  745 b   |  18 lines
  1. A.D.A. PROLOG - Automata Design Associates
  2.  
  3. KEYWORDS: library, language, debugger, Languages, Debuggers & Libraries        , 215     
  4.  
  5. VMV PROLOG is a remarkable fifth-generation development tool for the
  6. implementation of intelligent strategies and optimized control. It is both the
  7. kernel of applications of virtually unlimited scope and a sophisticated
  8. development too that multiplies the productivity of the programmer many times.
  9. Conventional Prolog is based on the first order predicate calculus. VMV
  10. emulates the second order calculus with unconstrained manipulation of cyclic,
  11. self referential structures. The cyclic unifier is selectable by a mode switch,
  12. with no loss of compatibility.
  13.  
  14.  
  15.  
  16. Automata Design Associates
  17. Tel: (215) 646-4894
  18.